1. Protocol specification, testing and verification, XIII : Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liege, Belgium, 25-28 May, 1993
پدیدآورنده : edited by A. Danthine, G. Leduc, P. Wolper
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer network protocols - Congresses
رده :
TK
5105
.
5
.
I34264
1993